modus tollens argument

否定后件論證、反引論證